Static and Dynamic Debugging of Modelica Models
نویسندگان
چکیده
The high abstraction level of equation-based objectoriented languages (EOO) such as Modelica has the drawback that programming and modeling errors are often hard to find. In this paper we present static and dynamic debugging methods for Modelica models and a debugger prototype that addresses several of those problems. The goal is an integrated debugging framework that combines classical debugging techniques with special techniques for equation-based languages partly based on graph visualization and interaction. To our knowledge, this is the first Modelica debugger that supports both transformational and algorithmic code debugging.
منابع مشابه
Integrated Debugging of Modelica Models
The high abstraction level of equation-based object-oriented (EOO) languages such as Modelica has the drawback that programming and modeling errors are often hard to find. In this paper we present integrated static and dynamic debugging methods for Modelica models and a debugger prototype that addresses several of those problems. The goal is an integrated debugging framework that combines class...
متن کاملA Portable Debugger for Algorithmic Modelica Code
In this paper we present the first comprehensive debugger for the algorithmic subset of the Modelica language, which augments previous work in our group on declarative static and dynamic debugging of equations in Modelica. This replaces debugging of algorithmic code using primitive means such as print statements or asserts which is complex, time-consuming and errorprone. The debugger is portabl...
متن کاملA Debugging Scheme for Declarative Equation Based Modeling Languages
This paper concerns the static analysis for debugging purposes of programs written in declarative equation based modeling languages. We first give an introduction to declarative equation based languages and the consequences equation based programming has for debugging. At the same time, we examine the particular debugging problems posed by Modelica, a declarative equation based modeling languag...
متن کاملTool Demonstration Abstract: OpenModelica Graphical Editor and Debugger
This paper demonstrates the OpenModelica graphic editor for easy-to-use graphic modeling of Modelica models and the Modelica debugger. The graphic editor aims at providing a user friendly open source Modelica modeling graphical user interface since most of the already existing open source tools were either textual or not so user friendly. The target audiences for the tool are the Modelica users...
متن کاملAutomated Static Analysis of Equation-Based Components
Mathematical modeling and the simulation of complex physical systems are emerging as key technologies in engineering. The availability of static analyzers and automatic debuggers for detecting structural and numerical inconsistencies in the simulation models is crucial.To address this need, the authors propose a methodology for detecting and repairing overconstrained and underconstrained situat...
متن کامل